문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 드모르간 법칙 (문단 편집) == 개요 == [[논리학]]과 [[수학]]의 법칙 중 하나이다. [[논리 연산]]에서 논리합은 논리곱과 부정기호로, 논리곱은 논리합과 부정기호로 표현할 수 있음을 가리키는 법칙이다. 일반적인 표현으로 > [math(\textsf{not }(A\textsf{ or }B) = (\textsf{not }A)\textsf{ and }(\textsf{not }B) \\ \textsf{not }(A\textsf{ and }B) = (\textsf{not }A)\textsf{ or }(\textsf{not }B))] 논리곱(합)의 부정은 각각 부정의 논리합(곱)과 같다는 법칙. 이는 논리학과 동일하게 집합론, 전자회로등에서도 똑같이 사용된다. 아래는 동일한 내용을 각각의 학문에서 주로 사용하는 수식으로 표현한 것이다. 표기법이 조금씩 다르지만, 모두 동일한 내용이다. > 논리학 : [math( \neg (\text{부정}), \lor (\text{논리합}), \land (\text{논리곱}) )] > [math(\neg (p \lor q) = \neg p \land \neg q)] [br] [math(\neg (p \land q) = \neg p \lor \neg q)] > 집합론 > [math({\complement}(A\cup B) = {\complement}A \cap {\complement}B)] [br] [math({\complement}(A\cap B) = {\complement}A \cup {\complement}B)] > 전자회로 > [math(\overline{(A + B)} = \overline{A} \cdot \overline{B})] [br] [math(\overline{(A \cdot B)} = \overline{A} + \overline{B})] 수학자 [[오거스터스 드 모르간]]에 의해 증명되었으며, 이 수학자의 이름이 붙어 있다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기